insert($a$;$L$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if deq{-}member(${\it eq}$;$a$;$L$)$\rightarrow$ $L$ else $a$.$L$ fi